Skip to content

shortcut #13

Merged
merged 1 commit into from
Oct 2, 2019
Merged

shortcut #13

merged 1 commit into from
Oct 2, 2019

Conversation

charle44
Copy link
Contributor

shortcut for reloading the page

shortcut for reloading the page
@aa7401 aa7401 merged commit 7d0bc7d into web:master Oct 2, 2019
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants